类似定理 3.7.2 证明中的第二点, 由定理 3.6.1 的引理即得.